Types as Sets